On Bp-algebras And Qs-algebras
نویسندگان
چکیده
منابع مشابه
On the class of QS-algebras
We consider some fundamental properties of QS-algebras and show that (1) the theory of QS-algebras is logically equivalent to the theory of Abelian groups, that is, each theorem of QS-algebras is provable in the theory of Abelian groups, and conversely, each theorem of Abelian groups is provable in the theory of QS-algebras; and (2) a G-part G(X) of a QSalgebra X is a normal subgroup generated ...
متن کاملOn Heyting algebras and dual BCK-algebras
A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...
متن کاملFuzzy QS-Algebras with Interval-Valued Membership Functions
In this note the notion of interval-valued fuzzy QS-algebra (briefly, i-v fuzzy QS-algebra), as well as the i-v level and strong i-v level QS-subalgebra is introduced. Several theorems which determine the relationship between these notions and QS-subalgebras are stated and proved. The images and inverse images of i-v fuzzy QS-subalgebras are defined, and how the homomorphic images and inverse i...
متن کاملthe structure of lie derivations on c*-algebras
نشان می دهیم که هر اشتقاق لی روی یک c^*-جبر به شکل استاندارد است، یعنی می تواند به طور یکتا به مجموع یک اشتقاق لی و یک اثر مرکز مقدار تجزیه شود. کلمات کلیدی: اشتقاق، اشتقاق لی، c^*-جبر.
15 صفحه اولon heyting algebras and dual bck-algebras
a heyting algebra is a distributive lattice with implication and a dual $bck$-algebra is an algebraic system having as models logical systems equipped with implication. the aim of this paper is to investigate the relation of heyting algebras between dual $bck$-algebras. we define notions of $i$-invariant and $m$-invariant on dual $bck$-semilattices and prove that a heyting semilattice is equiva...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematics and Computer Science
سال: 2012
ISSN: 2008-949X
DOI: 10.22436/jmcs.05.01.02